Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
1	Latent Domain Phrase-based Models for Adaptation Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands {c.hoang,k.sima Add to Reading List Source URL: emnlp2014.org Language: English - Date: 2014-10-16 05:19:38
2	Grown-in Defects of InSb Crystals: Models and Computation N. Vaidya ∗, H. Huang †, and D. Liang ‡ Department of Mathematics & Statistics, York University Toronto, Canada M3J 1P3. August 22, 2005 Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2005-09-30 08:16:16
3	NUMERICAL SOLUTION of MARKOV CHAINS, p. 1–22 Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models ∗ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2003-12-07 19:02:49
4	The Myriad simulator: parallel computation for densely integrated models Pedro Rittner , Andrew J. Davies, Thomas A. Cleland 1 Dept. of Psychology, Cornell University, Ithaca, NY Why another simulator? Add to Reading List Source URL: cplab.net Language: English - Date: 2015-10-20 23:33:44
5	Aggregating Private Sparse Learning Models Using Multi-Party Computation Lu Tian, Bargav Jayaraman, Quanquan Gu, and David Evans University of Virginia https://oblivc.org/ppml Add to Reading List Source URL: oblivc.org - Date: 2017-07-07 14:12:10
6	Aggregating Private Sparse Learning Models Using Multi-Party Computation Lu Tian, Bargav Jayaraman, Quanquan Gu, and David Evans University of Virginia https://oblivc.org/ppml Add to Reading List Source URL: oblivc.org - Date: 2017-07-07 14:12:10
7	Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models Jeremy T. Bradley Nicholas J. Dingle Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2010-08-04 14:25:51
8	13th Wave Hindcasting and Forecasting, Banff, 26 Oct-1 NovInter-comparison study of methods for the computation on non-linear four-wave interactions in discrete spectral models Add to Reading List Source URL: www.waveworkshop.org - Date: 2013-10-30 19:18:35
9	1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay () Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-11 03:26:58 Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus
10	Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Abstract interpretation Models of computation Parallel computing Petri net Software engineering Computing

UPDATE